A bent for charge separation

Effect of charge on separation of liposomes upon stagnation

Abstract Liposomes are used widely as drug delivery systems in different forms including nanosuspensions, osmotic pumps, infusion pumps and IV injections. Some of these systems (e.g. infusion or osmotic pumps) might stay stagnant for a long time during or before administration, and therefore, might face phase separation. In spite of these, there is no data available about the behavior of lipos...

Effect of charge on separation of liposomes upon stagnation

Abstract Liposomes are used widely as drug delivery systems in different forms including nanosuspensions, osmotic pumps, infusion pumps and IV injections. Some of these systems (e.g. infusion or osmotic pumps) might stay stagnant for a long time during or before administration, and therefore, might face phase separation. In spite of these, there is no data available about the behavior of lipos...

A Nanojunction Polymer Photoelectrode for Efficient Charge Transport and Separation

A metal-free photoanode nanojunction architecture, composed of B-doped carbon nitride nanolayer and bulk carbon nitride, was fabricated by a one-step approach. This type of nanojunction (s-BCN) overcomes a few intrinsic drawbacks of carbon nitride film (severe bulk charge recombination and slow charge transfer). The top layer of the nanojunction has a depth of ca. 100 nm and the bottom layer is...

Charge! - A Framework for Higher-Order Separation Logic in Coq

We present a comprehensive set of tactics for working with a shallow embedding of a higher-order separation logic for a subset of Java in Coq. The tactics make it possible to reason at a level of abstraction similar to pen-and-paper separation-logic proof outlines. In particular, the tactics allow the user to reason in the embedded logic rather than in the concrete model, where the stacks and h...

Spin-Charge Separation in Polyacetylene